operational semantics - Alemán Inglés Diccionario